dfa transition diagram